منابع مشابه
Invertible Classes
This paper considers when one can invert general recursive operators which map a class of functions F to F . In this regard, we study four different notions of inversion. We additionally consider enumeration of operators which cover all general recursive operators which map F to F in the sense that for every general recursive operator Ψ mapping F to F , there is a general recursive operator in ...
متن کاملIterating Invertible Binary Transducers
We study iterated transductions defined by a class of invertible transducers over the binary alphabet. The transduction semigroups of these automata turn out to be free Abelian groups and the orbits of finite words can be described as affine subspaces in a suitable geometry defined by the generators of these groups. We show that iterated transductions are rational for a subclass of our automata.
متن کاملInvertible calculation's non-invertibility
In cryptosystem theory, it is well-known that a logical mapping that returns the same value that was used as its argument can be inverted with a zero failure probability in linear time. In this paper, however, I show that such a mapping, while trivially assigning a logical state to itself, comes up against an impassable entropy wall such that its computational path is undone inside the threshol...
متن کاملInvertible dynamic systems
In this paper we introduce the notion of invertible dynamic system, we indicate a very general method to determine the inverse of such a system and we give evidence of the numerous applications of the subclass of dynamic systems defined by this notion. Key-Words: Invertible dynamic system, the inverse of a dynamic system, Lagrange interpolation polynomial.
متن کاملLocally Invertible Boolean Mappings
The aim of this paper is to study a novel property of Boolean mappings called local intert-ibility. We focus on local invertibility of Boolean mappings which model ltering generators and study the case when ltering function is linear in the last variable.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Notre Dame Journal of Formal Logic
سال: 1987
ISSN: 0029-4527
DOI: 10.1305/ndjfl/1093636942